Results and techniques for higher order calculations within the gradient-flow formalism
نویسندگان
چکیده
منابع مشابه
The Lagrangian-Hamiltonian Formalism for Higher Order Field Theories
We generalize the lagrangian-hamiltonian formalism of Skinner and Rusk to higher order field theories on fiber bundles. As a byproduct we solve the long standing problem of defining, in a coordinate free manner, a hamiltonian formalism for higher order lagrangian field theories, which does only depend on the action functional and, therefore, unlike previously proposed formalisms, is free from a...
متن کاملUnambiguous Formalism for Higher-order Lagrangian Field Theories
The aim of this paper is to propose an unambiguous intrinsic formalism for higher-order field theories which avoids the arbitrariness in the generalization of the conventional description of field theories, and implies the existence of different Cartan forms and Legendre transformations. We propose a differential-geometric setting for the dynamics of a higher-order field theory, based on the Sk...
متن کاملDifference Equations in Massive Higher Order Calculations
The calculation of massive 2–loop operator matrix elements, required for the higher order Wilson coefficients for heavy flavor production in deeply inelastic scattering, leads to new types of multiple infinite sums over harmonic sums and related functions, which depend on the Mellin parameter N. We report on the solution of these sums through higher order difference equations using the summatio...
متن کاملHigher Derivative Fermionic Field Equation in the First Order Formalism
The generalized Dirac equation of the third order, describing particles with spin 1/2 and three mass states, is analyzed. We obtain the first order generalized Dirac equation in the 24-dimensional matrix form. The mass and spin projection operators are found which extract solutions of the wave equation corresponding to pure spin states of particles. The density of the electromagnetic current is...
متن کاملAutomated techniques for higher-order program verification
interpretation techniques are used to derive a control-flow analysis for a simple higher-order functional language. The analysis approximates the interprocedural control-flow of both function calls and returns in the presence of first-class functions and tail-call optimization. The analysis is systematically derived by abstract interpretation of the stack-based CaEK abstract machine of Flanagan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of High Energy Physics
سال: 2019
ISSN: 1029-8479
DOI: 10.1007/jhep06(2019)121